大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Intelligent Computer Graphics 2010 [electronic resource]

0
索取号：
作者：Plemenos、 Dimitri.、Miaoulis、 Georgios.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings

0
索取号：
作者：Ding、 Chen.、Shao、 Zhiyuan.、Zheng、 Ran.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Quantitative Logic and Soft Computing 2010 [electronic resource] : Volume 2

0
索取号：
作者：Cao、 Bing-yuan.、Wang、 Guo-jun.、Chen、 Shui-li.、Guo、 Si-zong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Safety, Reliability, and Security [electronic resource] : 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings

0
索取号：
作者：Schoitsch、 Erwin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trustworthly Global Computing [electronic resource] : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

0
索取号：
作者：Wirsing、 Martin.、Hofmann、 Martin.、Rauschmayer、 Axel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I

0
索取号：
作者：Li、 Kang.、Fei、 Minrui.、Jia、 Li.、Irwin、 George W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III

0
索取号：
作者：Li、 Kang.、Jia、 Li.、Sun、 Xin.、Fei、 Minrui.、Irwin、 George W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Marketing Intelligent Systems Using Soft Computing [electronic resource] : Managerial and Research Applications

0
索取号：
作者：Casillas、 Jorge.、Mart铆nez-L贸pez、 Francisco J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II

0
索取号：
作者：Li、 Kang.、Fei、 Minrui.、Jia、 Li.、Irwin、 George W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Software-ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

0
索取号：
作者：Fukuda、 Komei.、Hoeven、 Joris van der.、Joswig、 Michael.、Takayama、 Nobuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision-ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part VI

0
索取号：
作者：Daniilidis、 Kostas.、Maragos、 Petros.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision-ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV

0
索取号：
作者：Daniilidis、 Kostas.、Maragos、 Petros.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision-ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part III

0
索取号：
作者：Daniilidis、 Kostas.、Maragos、 Petros.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision-ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part V

0
索取号：
作者：Daniilidis、 Kostas.、Maragos、 Petros.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision-ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part II

0
索取号：
作者：Daniilidis、 Kostas.、Maragos、 Petros.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision-ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part I

0
索取号：
作者：Daniilidis、 Kostas.、Maragos、 Petros.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.